The Essential Guide to Open Source Flash Development
Explore the world of open source Flash and discover which tools are available. Learn how to identify which tool you need ...
اقرأ المزيد
The Future of Software Quality Assurance
This book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to ...
اقرأ المزيد
The IT Measurement Compendium : Estimating and Benchmarking Success with Functional Size Measurement
The first step towards success in a software project is to ensure a professional setup. This includes a metrics-based formal ...
اقرأ المزيد
The Making of Information Systems
"Kurbel … has succeeded in writing a book that collects a wealth of information on software engineering without being ...
اقرأ المزيد
The Multi-Agent Programming Contest 2019 : Agents Assemble – Block by Block to Victory
This book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants. The ...
اقرأ المزيد
The Once-Only Principle The TOOP Project
This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
اقرأ المزيدThe Privacy Engineer’s Manifesto : Getting from Policy to Code to QA to Value
The authors, a uniquely skilled team of longtime industry experts, detail how you can build privacy into products, processes, ...
اقرأ المزيد
The Safety of Systems
The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...
اقرأ المزيد
The Semantic Web: Research and Applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
The book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...
اقرأ المزيد
The Testing Network : An Integral Approach to Test Activities in Large Software Projects
"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools ...
اقرأ المزيد
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
اقرأ المزيد
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
اقرأ المزيد
Theoretical Introduction to Programming
Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...
اقرأ المزيد
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيد
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
اقرأ المزيد
